Testfallerzeugung mit einer symbolischen virtuellen Maschine und Constraint Solvern

Der Softwaretest wird heute als wichtiger Teil der Softwareentwicklung wahrgenommen. Da manuelles Testen teuer und unpräzise ist, werden verstärkt Werkzeuge zum Test-Management eingesetzt. Allerdings bleibt es dem Benutzer in der Regel selbst überlassen, die Testfälle zu erzeugen. Das Werkzeug, das wir in diesem Paper präsentieren, verwendet einen neuartigen Ansatz, um Testfälle zu vorgegebenen strukturellen Kriterien für einzelne oder mehrere Java-Methoden und Objekte zu produzieren. Dafür verwenden wir eine symbolische Java Virtual Machine, die passend zu den Kontrollflüssen in dem Programm Bedingungen generiert. Verzweigungen im Programm werden in Abhängigkeit von den aktuellen Kontrollfluss-Bedingungen, dem Testkriterium und der Verzweigungsstrategie gewählt. Der symbolischen virtuellen Maschine stehen (nicht-)lineare Constraint Solver (CS) zur Verfügung, die in einen CS Manager eingebettet sind. Dieser wählt dynamisch einen angemessenen CS aus und und bereitet die Constraints für die CS auf.